Static and Dynamic Coupling Attribute Evaluators

Several years ago, the notion of attribute coupled grammars was introduced by Ganzinger and Giegerich 5], together with their descriptional composition. The latter works essentially at the speciication level, i.e., it produces an attribute grammar which speciies the composition of two attribute coupled grammars. We introduce a new approach to this composition of attribute coupled grammars. It no longer works at the speciication level but rather at the evaluator level. It produces a special kind of attribute evaluator, called coupling evaluator. We present both a static version and a dynamic version of coupling evaluators. Both versions retain the good property of descriptional composition that intermediate trees are not physically constructed. In addition|and this is the main advantage of our approach, compared with descriptional composition|, it is possible to build separately the dynamic coupling evaluator of each attribute coupled grammar; in other words we achieve real separate compilation of AG modules. Ce travail a et e partiellement nanc e par le projet ESPRIT #5399 \Compare". Les grammaires coupl ees par attributs ont et e introduites par Ganzinger et Giegerich 5], avec la notion de composition descriptionnelle. Cette composition s'eeectue essentielement au niveau de la sp eciication, c'est-a-dire qu'elle produit une nouvelle grammaire attribu ee qui sp eciie la composition des deux grammaires coupl ees. Nous introduisons une nouvelle approche de cette composition de grammaire coupl ees par attributs. Elle ne s'eeectue pas au niveau de la sp eciication mais plut^ ot au niveau des evaluateurs d'attributs. Elle produit un autre type d' evaluateur d'attributs, appel e evaluateur de couplage. Nous pr esentons a la fois une version statique et version dynamique de ces evaluateurs de couplage. Ces deux versions conservent la bonne propri et e de la composition descriptionnelle, qui est que l'arbre interm edaire n'est pas construit physiquement. De plus | c'est l'un des principaux avantages de notre approche, compar ee a la composition description-nelle |, il est possible de construire s epar ement les evaluateurs de couplage. Autremant dit, nous aboutisons r eellement a une compilation s epar ee des modules de grammaires attribu ees.